41. Electronic commerce and web technologies : first international conference, EC-Web 2000, London, UK, September 2000 : proceedings
Author: Kurt Bauknecht, Sanjay Kumar Madria, Gunther Pernul, eds.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Electronic commerce,Computer programs -- Congresses ، Electronic commerce,Law and legislation -- Congresses ، Electronic commerce,Congresses ، Copyright -- Computer files,Congresses ، Software engineering,Congresses ، Internet,Congresses ، World Wide Web
Classification :
QA
76
.
L28
Vol
.
1875
42. Engenharia de Software: fundamentos, metodos e padroes. یسیلگنا هب ناونع : engineering software: fundamentals, methods and standards
Author:
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Computer-aided engineering- Congresses,، Engineering- Data processing- Congresses,، Engineering- Computer programs- Congresses
Classification :
TA
345
.
E548
2000
43. Engineering Databases
Author: / Sponsored by the pressure vessele and piping division, ASME: in collaboration with National buregu of standards-center for applied mathematics.: edited by Jeffrey T. Fong [et al.]
Library: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
Subject: Engineering - computer programs-congresses,on-line data processing-congresses,Data base management - Congresses
Classification :
TA
345
.
P74
1984
44. Engineering Databases
Author: / Sponsored by the pressure vessele and piping division, ASME: in collaboration with National buregu of standards-center for applied mathematics.: edited by Jeffrey T. Fong [et al.]
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Engineering - computer programs-congresses,on-line data processing-congresses,Data base management - Congresses
Classification :
TA
345
.
P74
1984
45. Engineering Software III: Proceedings of the 3rd International Conference., on Engineering Software, held at Imperial Callege of Science and Technology, London, April 1983
Author: editor R.A.Adey
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Engineering- Computer programs- Congresses
Classification :
TA
345
.
I567
1983
46. Engineering psychology and cognitive ergonomics :
Author: Don Harris (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Aeronautics-- Computer programs, Congresses.,Engineering design-- Psychological aspects, Congresses.,Human engineering, Congresses.,Human-computer interaction, Congresses.,Psychology, Industrial, Congresses.,User-centered system design, Congresses.,Aeronautics-- Computer programs.,Engineering design-- Psychological aspects.,Human engineering.,Human-computer interaction.,Psychology, Industrial.,User-centered system design.
Classification :
TA166
47. Engineering software III. Proceeding of
Author: International conference and exhibition on engineering software 3rd London, 1983
Library: Central Library and Document Center of Isfahan University (Esfahan)
Subject: Computer programs- Congresses ► Computer engineering-Congresses
Classification :
001
I61e
48. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
49. Extreme man-made and natural hazards in dynamics of structures /
Author: edityed by Adnan Ibrahimbegovic and Ivica Kozar.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Hazard mitigation, Congresses.,Natural disaster warning systems, Congresses.,Structural analysis (Engineering), Congresses.,Structural dynamics, Congresses.,Hazard mitigation.,Hazard mitigation.,Natural disaster warning systems.,Natural disaster warning systems.,Physique.,Structural analysis (Engineering),Structural analysis (Engineering),Structural dynamics.,Structural dynamics.,TECHNOLOGY & ENGINEERING-- Structural.
Classification :
TA654
.
N35
2006eb
50. FLAC and numerical modeling in geomechanics
Author: edited by Richard Brummer ... [et al.].
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering geology-- Computer programs, Congresses.,Engineering geology-- Mathematical models, Congresses.,Rock mechanics-- Computer programs, Congresses.,Rock mechanics-- Mathematical models, Congresses.,Soil mechanics-- Computer programs, Congresses.,Soil mechanics-- Mathematical models, Congresses.
51. FLAC and numerical modeling in geomechanics :
Author: edited by Richard Brummer ... [et al.]
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Engineering geology-- Computer programs, Congresses,Engineering geology-- Mathematical models, Congresses,Rock mechanics-- Computer programs, Congresses,Rock mechanics-- Mathematical models, Congresses,Soil mechanics-- Computer programs, Congresses,Soil mechanics-- Mathematical models, Congresses
Classification :
TA705
.
I516
2003
52. FLAC and numerical modeling in geomechanics :
Author: edited by Richard Brummer ... [et al.].
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Engineering geology,Rock mechanics,Soil mechanics,Engineering geology,Rock mechanics,Soil mechanics,Congresses.,Congresses.,Congresses.,Congresses.,Congresses.,Congresses.,Computer programs,Computer programs,Computer programs,Mathematical models,Mathematical models,Mathematical models
Classification :
TA705
53. FLAC and numerical modeling in geomechanics
Author: International FLAC Symposium on Numerical Modeling in Geomechanics (2nd : 2001: Lyon, France)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Engineering geology- Computer programs- Congresses►Rock mechanics- Computer programs- Congresses►Soil mechanics- Computer programs- Congresses►Engineering geology- Mathematical models- Congresses
Classification :
705
.
I516
2001
54. FLAC and numerical modeling in geomechanics
Author: International FLAC Symposium on Numerical Modeling in Geomechanics (3rd : 2003 : Sudbury, Ont.)
Library: Central Library of Esfehan University of Technology (Esfahan)
Subject: Engineering geology -- Computer programs -- Congresses ► Rock mechanics -- Computer programs -- Congresses ► Soil mechanics -- Computer programs -- Congresses ► Engineering geology -- Mathematical models -- Congresses ► Rock mechanics--Mathematical models -- Congresses
Classification :
705
.
I516
2003
55. FLAC and numerical modeling in geomechanics
Author:
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Engineering geology -- Computer programs -- Congresses,Rock mechanics -- Computer programs -- Congresses,Soil mechanics -- Computer programs -- Congresses,Engineering geology -- Mathematical models - Congresses,Rock mechanics -- Mathematical models -- Congresses
Classification :
TA705
.
I516
2001
56. FLAC and numerical modeling in geomechanics: proceedings of the International FLAC Symposium on Numerical Modeling in Geomechanics, Minneapolis, Minnesota, USA, 1-3 September 1999
پدیدآورنده :
موضوع : Congresses ، Engineering geology-- Computer programs,Congresses ، Rock mechanics-- Computer programs,Congresses ، Soil mechanics-- Computer programs,Congresses ، Engineering geology-- Mathematical models,Congresses ، Rock mechanics-- Mathematical models,Congresses ، Soil mechanics-- Mathematical models
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
57. FLAC and numerical modeling in geomechanics: proceedings of the third International FLAC Symposium, 21-24 October 2003, Sudbury, Ontario, Canada
Author: edited by Richard Brummer ... ]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: Computer programs - Congresses ، Engineering geology,Computer programs - Congresses ، Rock mechanics,Congresses ، Soil mechanics - Computer programs,Mathematical models - Congresses ، Engineering geology,Mathematical models - Congresses ، Rock mechanics,Mathematical models - Congresses ، Soil mechanics
Classification :
TA
705
.
I525
2003
58. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,
59. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
60. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
